x . x+1) 4 --> 4+1Beta reduction is the only kind of reduction in the pure lambda-calculus. The opposite of beta reduction is beta abstraction. These are the two kinds of beta conversionSee also ">.See also name capture.name capture.……">

翻訳と辞書 Words near each other ・ bertrand russell ・ berzerkeley ・ berzerkley ・ bespoke ・ best effort ・ best first search ・ best fit ・ beta ・ beta abstraction ・ beta conversion ・ beta reduction ・ beta testing ・ beta version ・ betamaxed ・ bezier ・ bezier curve ・ bezier surface ・ bf ・ bfi ・ bg Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク beta reduction ： FOLDOC beta reduction [lambda-calculus] The application of a lambda abstraction to an argument expression. A copy of the body of the lambda abstraction is made and occurrences of the bound variable being replaced by the argument. E.g. ( x . x+1) 4 --> 4+1 Beta reduction is the only kind of reduction in the pure lambda-calculus. The opposite of beta reduction is beta abstraction. These are the two kinds of beta conversion. See also name capture. name capture. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.